classification theorem造句

So r0 operator and godel operator are united in the systems ha the negation - a with respect to parameter a is defined in ha , the many - valued system h1 / 2 = ( [ 0 , 1 ] - 1 / 2 , 1 / 2 ) is discussed in detail . the classification theorem of tautologies in f ( s ) is obtained in h1 / 2 . the classfication of tautologies is defined on hq
本文还在h _系统中引入了带参数的非运算，较细致地研究了多值系统的子代数理论，以为赋值域建立了f ( s )中重言式的分类定理，并将广义重言式分类定理推广到系统h _ ( 0 1 )中。
It's difficult to find classification theorem in a sentence. 用classification theorem造句挺难的